Linear form - PDFSEARCH.IO - Document Search Engine

Linear form
Results: 358

#	Item
111	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
112	Journal of Artificial Intelligence Research–443 Submitted 08/14; publishedComputing Convex Coverage Sets for Faster Multi-objective Coordination Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-03-31 01:49:26 Mathematical sciences Applied mathematics Normal-form game Mathematical optimization Linear programming Best response Partially observable Markov decision process Game theory Operations research Statistics
113	Rank/Norm Regularization with Closed-Form Solutions: Application to Subspace Clustering Yao-Liang Yu Department of Computing Science University of Alberta Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2011-08-15 14:30:00 Matrix theory Functional analysis Operator theory Numerical linear algebra Singular value decomposition Matrix norm Projection Trace Rank Algebra Mathematics Linear algebra
114	SOIL EROSION POLYMERS JRM Chemical offers a full line of quality and diverse linear anionic polymers for the professional in the erosion industry. The products vary in molecular weight, charge density and form to perform Add to Reading List Source URL: www.soilmoist.com Language: English - Date: 2008-03-06 14:59:28 Gels Neurotoxins Polyacrylamide Polymer Soil Pump Turbidity Chemistry Polyelectrolytes Water pollution
115	Friedel’s Law Electron density is complex ! \|Fh,k,ℓ\| = \|F−h,−k,−ℓ\| Add to Reading List Source URL: shelx.uni-ac.gwdg.de Language: English - Date: 2013-02-25 13:25:44 Crystallography Atomic physics Fourier analysis Linear algebra Atomic form factor Fourier transform Structure factor Electron Vector space Algebra Physics Mathematics
116	Fibrancy of Symplectic Homology in Cotangent Bundles Thomas Kragh April 5, 2013 Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-05-13 09:19:30 Symplectic geometry Hamiltonian mechanics Operator theory Differential topology Linear algebra Contact geometry Tautological one-form Differentiable manifold Cotangent bundle Theoretical physics Physics Mathematical analysis
117	Nitrous oxide Refrigerated Liquid Gas Medicinial NAME OF THE DRUG Nitrous oxide Chemical structure Nitrous oxide, N2O A linear but unsymmetrical molecule of the form Add to Reading List Source URL: www.boc-healthcare.com.au Language: English - Date: 2015-02-22 16:46:18 General anesthetics Oxides Industrial hygiene Nitrous oxide Inhalational anaesthetic Anaesthetic machine General anaesthetic Second gas effect General anaesthesia Medicine Chemistry Anesthesia
118	An Expanded Sample from http://www.matrixlab-examples.com/linear-algebra-and-its-applications.html Writing Mesh and Nodal Equations Directly in Matrix Form Prologue Add to Reading List Source URL: www.ed-thelen.org Language: English - Date: 2010-09-15 10:25:51 Electronic circuits Electronic design Matrix theory Electronic engineering Matrix Nodal analysis Network analysis Mesh analysis Determinant Algebra Mathematics Linear algebra
119	TECHNICAL REPORT YRWITCH: A NEW APPROACH TO WEB SPAM DETECTION Add to Reading List Source URL: research.yahoo.com Language: English - Date: 2013-04-05 04:39:54 Linear classifier Spam Support vector machine Static single assignment form Statistical classification Internet Computing
120	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic